Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🧬Functional Programming
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·6h
💻Programming languages
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·1d
📦Package Managers
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·8h·
Discuss: Hacker News
🔗Concatenative Programming
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
C++ Trailing Return Types (2022)
danielsieger.com·1h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Hacker News
🔧Binary Parsers
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·22h·
Discuss: DEV
📝Concrete Syntax
How to actually use Model Context Protocol
seangoedecke.com·10h
⚡Proof Automation
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·10h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·15h·
Discuss: Hacker News
✨Algebraic Effects
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·53m
💻Local LLMs
Gradual negation types and the Python type system
jellezijlstra.github.io·4h·
Discuss: Hacker News
🔬Refinement Types
Hazel: A live functional programming environment with typed holes
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
This “smart coach” helps LLMs switch between text and code
news.mit.edu·6h
💻Local LLMs